main

JS entry point of the 2P-Kt REPL CLI: builds TuPrologCmd with its solve subcommand (TuPrologSolveQuery) and hands args to clikt for parsing and execution -- mirroring the JVM entry point in Main.kt.

Note that this platform's -T/--theory support is not yet functional: isReadableFile and loadTheoryFromFile are not implemented on JS (both throw NotImplementedError).